An Efficient Technique for Translating Mixed Logical Dynamical Systems into Piecewise Affine Systems
نویسنده
چکیده
For linear hybrid systems consisting of linear dynamic equations interacting with linear threshold events, automata, and logic propositions, provided in mixedlogical dynamical (MLD) form, this paper describes an efficient technique for transforming such systems into an equivalent piecewise affine (PWA) form, where equivalent means that for the same initial conditions and input sequences the trajectories of the system are identical.
منابع مشابه
On the Equivalence of Classes of Hybrid Dynamical Models
We establish equivalences among five classes of hybrid systems, that we have encountered in previous research: mixed logical dynamical systems, linear complementarity systems, extended linear complementarity systems, piecewise affine systems, and max-min-plus-scaling systems. These results are of paramount importance for transferring properties and tools from one class to another.
متن کاملA New Technique for Translating Discrete Hybrid Automata into Piecewise Affine Systems
The paper proposes a new translation algorithm that translates a hybrid system described as a discrete hybrid automaton (DHA) into an equivalent piecewise affine (PWA) system. The translation algorithm exploits, among others, a new technique for cell enumeration in hyperplane arrangement, all proposed in this paper. The new translation technique enables the transfer of several analysis and synt...
متن کاملOptimal Control of Mixed Logical Dynamical Systems with Long-Term Temporal Logic Specifications
We present a mathematical programming-based method for control of large a class of nonlinear systems subject to temporal logic task specifications. We consider Mixed Logical Dynamical (MLD) systems, which include linear hybrid automata, constrained linear systems, and piecewise affine systems. We specify tasks using a fragment of linear temporal logic (LTL) that allows both finiteand infinite-h...
متن کاملEnlarging Domain of Attraction for a Special Class of Continuous-time Quadratic Lyapunov Function Piecewise Affine Systems based on Discontinuous Piecewise
This paper presents a new approach to estimate and to enlarge the domain of attraction for a planar continuous-time piecewise affine system. Various continuous Lyapunov functions have been proposed to estimate and to enlarge the system’s domain of attraction. In the proposed method with a new vision and with the aids of a discontinuous piecewise quadratic Lyapunov function, the domain of attrac...
متن کاملOptimal Controllers for Hybrid Systems: Stability and Piecewise Linear Explicit Form
In this paper we propose a procedure for synthesizing piecewise linear optimal controllers for hybrid systems and investigate conditions for closed-loop stability. Hybrid systems are modeled in discrete-time within the mixed logical dynamical (MLD) framework [8], or, equivalently [7], as piecewise affine (PWA) systems. A stabilizing controller is obtained by designing a model predictive control...
متن کامل